Program analysis

Results: 6751



#Item
751

ENERGY TECHNOLOGY SYSTEMS ANALYSIS PROGRAMME ANNEX XI: Joint Studies for New and Mitigated Energy Systems Regular Workshop Final Program (as of June 4, 2009)

Add to Reading List

Source URL: www.iea-etsap.org

Language: English - Date: 2010-11-10 02:26:24
    752

    Press Release No. 092 | lcp | June 25, 2014 For Secure Software: X-rays instead of Passport Control JOANA Software Analysis Tool Checks Source Text of a Program to Discover Security Gaps

    Add to Reading List

    Source URL: www.kit.edu

    Language: English - Date: 2014-08-21 04:21:47
      753

      A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber

      Add to Reading List

      Source URL: www.cs.berkeley.edu

      Language: English - Date: 2010-10-29 12:59:17
        754Information science / Archival science / Preservation / Cartography / Data management / National Geospatial Digital Archive / National Digital Information Infrastructure and Preservation Program / Geographic information system / Digital preservation / Library science / Digital libraries / Science

        Data Preservation Special Interest Group Meeting Steve Morris North Carolina State University Libraries Joe Sewash NC Center for Geographic Information & Analysis

        Add to Reading List

        Source URL: www.geomapp.net

        Language: English - Date: 2010-10-07 16:29:56
        755PARC / Technology transfer / Zemax / Lighttools / Advanced Systems Analysis Program / Stray light / Laser / Vertical-cavity surface-emitting laser / Optics / Physics / Technology

        Optics and Optoelectronics Services: Broad range of expertise to help accelerate product development PARC works with clients at various stages of product development, ranging from proof-of-concept to application developm

        Add to Reading List

        Source URL: www.parc.com

        Language: English - Date: 2013-01-21 19:41:58
        756Open data / Data analysis / Geographic information system / Open government / Data driven journalism / Open Data in the United Kingdom / Science / Data management / Information

        Joel Gurin () is now Senior Advisor at the Governance Lab at NYU, a multidisciplinary program to use technology to improve how we govern. He was formerly Editorial Director and then EVP of Consumers U

        Add to Reading List

        Source URL: www.opendatanow.com

        Language: English - Date: 2014-01-30 11:27:23
        757Probability and statistics / Models of computation / Mathematical sciences / Markov models / Teletraffic / Petri net / Queueing theory / Traffic generation model / Simulation / Statistics / Operations research / Stochastic processes

        Data Center Network Throughput Analysis using Queueing Petri Nets Piotr Rygielski and Samuel Kounev Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KITKarlsruhe, Germany

        Add to Reading List

        Source URL: www.relate-itn.eu

        Language: English - Date: 2014-09-09 04:41:09
        758Regression analysis / Statistics / Econometrics / Stata

        File: /Users/clarkd1/damon/work/teaching_students/teaching/program_evaln/uc i/ECO245_spring_2014/stata/analysis/programs/hw3.do, 02:07:16 capture log close capture erase analysis/output/hw3.log log using analy

        Add to Reading List

        Source URL: www.damonclark.net

        Language: English - Date: 2014-05-29 22:14:48
        759Accountable care organization / Managed care / Albert Einstein College of Medicine / Health care system / Health / Healthcare / Medicine

        Sloan Program in Health Administration Policy Analysis and Management, College of Human Ecology Spring 2015 Colloquium Series PAM 5990: Challenges and Trends in the Health Services Industry January 30

        Add to Reading List

        Source URL: www.human.cornell.edu

        Language: English - Date: 2015-01-21 10:01:21
        760Geology / Geophysical survey / Data collection / Survey methodology / Geological survey / Program optimization / Cost–benefit analysis / Geophysics / Science / Evaluation methods

        Statistical Experimental Design Project leader: Hansruedi Maurer, Institute of Geophysics, ETH Zürich, Switzerland Collaboration:

        Add to Reading List

        Source URL: www.aug.geophys.ethz.ch

        Language: English - Date: 2001-01-11 05:09:31
        UPDATE